An axiom system for full $3$-dimensional Euclidean geometry
نویسندگان
چکیده
منابع مشابه
An Axiom System for Incidence Spatial Geometry
Incidence spatial geometry is based on three-sorted structures consisting of points, lines and planes together with three intersort binary relations between points and lines, lines and planes and points and planes. We introduce an equivalent one-sorted geometrical structure, called incidence spatial frame, which is suitable for modal considerations. We are going to prove completeness by SD-Theo...
متن کاملEuclidean Geometry before non-Euclidean Geometry
In [3], in my argument for the primacy of Euclidean geometry on the basis of rigid motions and the existence of similar but non-congruent triangles, I wrote the following: A: “The mobility of rigid objects is now recognized as one of the things every normal human child learns in infancy, and this learning appears to be part of our biological progaramming.” B. “. . . we are all used to thinking ...
متن کاملTowards an Axiom System for Default Logic
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore’s Autoepistemic Logic, Konolige’s variant based on moderately grounded expansions, and Reiter’s default logic. Defaults have a uniform representation under all three interpretations in the new logic. Moreover, the logic itself is monotonic, that is, nonmonotonic...
متن کاملSpatial Analysis in curved spaces with Non-Euclidean Geometry
The ultimate goal of spatial information, both as part of technology and as science, is to answer questions and issues related to space, place, and location. Therefore, geometry is widely used for description, storage, and analysis. Undoubtedly, one of the most essential features of spatial information is geometric features, and one of the most obvious types of analysis is the geometric type an...
متن کاملThe independence of Tarski's Euclidean axiom
Tarski’s axioms of plane geometry are formalized and, using the standard real Cartesian model, shown to be consistent. A substantial theory of the projective plane is developed. Building on this theory, the Klein–Beltrami model of the hyperbolic plane is defined and shown to satisfy all of Tarski’s axioms except his Euclidean axiom; thus Tarski’s Euclidean axiom is shown to be independent of hi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematica Bohemica
سال: 1991
ISSN: 0862-7959,2464-7136
DOI: 10.21136/mb.1991.126139